/************************************************************************/
/* getint: fetches integer values from user inputs.                     */
/************************************************************************/
int getint(int *);

/************************************************************************/
/* getfloat: fetches float values from user inputs.                     */
/************************************************************************/
int getfloat(float *);

/************************************************************************/
/* getch & ungetch: from the program in section 4.3                     */
/************************************************************************/
int getch(void);
void ungetch(int);